Programming language specification - PDFSEARCH.IO - Document Search Engine

Programming language specification
Results: 252

#	Item
231	C# LANGUAGE SPECIFICATION Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2007-08-07 13:02:35 C++ Data types C programming language Subroutines Cross-platform software Anonymous function C++ classes C Sharp syntax Objective-C Software engineering Computing Computer programming
232	C# LANGUAGE SPECIFICATION Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2007-08-07 13:02:35 C++ Data types C programming language Subroutines Cross-platform software Anonymous function C++ classes C Sharp syntax Objective-C Software engineering Computing Computer programming
233	X10 Language Specification Version 2.4 Vijay Saraswat, Bard Bloom, Igor Peshansky, Olivier Tardieu, and David Grove Add to Reading List Source URL: x10.sourceforge.net Language: English - Date: 2014-02-12 17:59:12 Cross-platform software Procedural programming languages Data types C++ X10 C++ classes C Array data type Literal Software engineering Computing Computer programming
234	The Java® Language Specification Add to Reading List Source URL: docs.oracle.com Language: English - Date: 2014-03-04 18:44:00 Java programming language Type theory Polymorphism Cross-platform software Data types Constructor Java Interface Class Computing Software engineering Computer programming
235	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-06-01 14:01:26 Logic in computer science Formal methods Programming paradigms Java Modeling Language Java platform Object-oriented programming Postcondition Class invariant Design by contract Software engineering Computing Theoretical computer science
236	TypeScript Language Specification Version 0.9.7 Add to Reading List Source URL: www.typescriptlang.org Language: English - Date: 2014-02-25 17:15:42 Data types Cross-platform software Type theory C++ Procedural programming languages Type system JavaScript C Enumerated type Software engineering Computing Computer programming
237	Functional Programming and Specification Lecture Note 1, 4 February 2011 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-02-03 19:33:18 Procedural programming languages Functional languages Evaluation strategy ML ALGOL 68 Lazy evaluation Function Standard ML Software engineering Programming language theory Computing
238	Design and Specification of the CoreASM Execution Engine Part 1: The Kernel Add to Reading List Source URL: stl.sfu.ca Language: English - Date: 2010-04-07 20:21:20 CoreASM Abstract state machines Automata theory Interpreter Java Extensible programming Finite-state machine Portable Executable Programming language Computing Software Models of computation
239	The C-- Language Specification Version[removed]CVS Revision 1.128 ) Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2005-02-23 18:32:24 Programming language implementation Subroutines Procedural programming languages C++ Source code C Pointer Tail call Stack Software engineering Computing Computer programming
240	Tool Interface Standard (TIS) Executable and Linking Format (ELF) Specification Add to Reading List Source URL: refspecs.linuxfoundation.org Language: English - Date: 2013-05-29 14:41:04 Programming language implementation Computer file formats Executable and Linkable Format Portable Executable Relocation Object file File Unix Executable Computing Software System software

UPDATE